Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ—‚๏ธType Indexing
Flag this post
Oops, My UUIDs Collided
alexsci.comยท1hยท
Discuss: Hacker News
๐Ÿ”—Hash Functions
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
โœจGleam
Flag this post
Three Meanings of Reference
sandordargo.comยท10hยท
Discuss: Hacker News, r/cpp
๐Ÿท๏ธSymbol Mangling
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Beyond Text: Building an AI-Powered Color Matcher in Oracle FreeSQL
dev.toยท2dยท
Discuss: DEV
๐Ÿ“‹Row Typing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ“šStack Allocation
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿ”’Rust Borrowing
Flag this post
Using the expand and contract pattern for schema changes
prisma.ioยท4mยท
Discuss: Hacker News
๐Ÿ”„Copy Propagation
Flag this post
KCL part 1: units
ncameron.orgยท1d
๐ŸŒฑTiny Languages
Flag this post
Types of Metadata Schemas
accidental-taxonomist.blogspot.comยท6hยท
๐ŸŒWeb Standards
Flag this post
Labeled dataset of X-ray protein ligand images in 3D point cloud and validated deep learning models
nature.comยท5h
๐Ÿ—บ๏ธRegion Inference
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐Ÿ“‹Template Compilers
Flag this post
InternSVG: Towards Unified SVG Tasks with Multimodal Large Language Models
paperium.netยท12hยท
Discuss: DEV
๐ŸŒณParser Visualization
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท1d
๐Ÿ“‹Tablegen
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.comยท1dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธQuery Compilation
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
โœ…Type Checking
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ“ฆDependency Analysis
Flag this post